Search Results
Working Group on Univalent Foundations - Daniel Grayson
Overview of Univalent Foundations - Vladimir Voevodsky
Univalent Foundations: New Foundations of Mathematics | Vladimir Voevodsky
Algebraic K-Theory Via Binary Complexes - Daniel Grayson
Computers and Mathematical Proofs - Daniel Grayson
Univalent foundations and the equivalence principle - Benedikt Ahrens
Univalent foundations and the equivalence principle - Benedikt Ahrens
Univalent Foundations Seminar - Peter Lumsdaine
Univalent foundations
State of the New Proof Assistant - Daniel Grayson
20140910 HGF5 Paul Bernays Lectures Voevodsky 02 dm
HoTT Boi Summer
